]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a722b4c) | patch
windowManager: Handle reordering of workspaces
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 8 Oct 2019 18:27:34 +0000 (20:27 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Tue, 8 Oct 2019 19:11:19 +0000 (21:11 +0200)
commit6205d5eb27dbab83f7387cb479cd3b5b7bd4495a
tree80858a00695ce31deb596ef6ebceaac27cd011eetree | snapshot
parenta722b4c51d2cc20cbec614a93c4a9b13214c2e8dcommit | diff
windowManager: Handle reordering of workspaces

MetaWorkspaceManager gained the ability to reorder workspaces, so make
sure to pick up the new order when that happens.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1497
js/ui/windowManager.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.